* w32proc.c (create_child): Use make_number instead of masking pid.
authorJason Rumney <jasonr@gnu.org>
Mon, 17 May 2004 22:27:53 +0000 (22:27 +0000)
committerJason Rumney <jasonr@gnu.org>
Mon, 17 May 2004 22:27:53 +0000 (22:27 +0000)
commit7a967c9a001c3d475ac263824a085e1e8aea80bb
treeddd46cd5e7b9cfe49bcbdf69d6d125edb6f308b3
parent9a421ce63033de46dc58c3ec703f2fd1071bdc31
* w32proc.c (create_child): Use make_number instead of masking pid.
src/w32proc.c